Dynamic splash image #9827
Closed
Dynamic splash image #9827
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
I like the idea, but some reservations:
|
|
The IDE already does a non-neglibile amount of transfer to check for updates on libraries and plaforms, library_index.json.gz is already 1.2M (and growing). |
|
Follow up on #9935 |
per1234
added
Component: IDE
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR allows to display dynamic splash images according to an URL returned by the server polled for version check. Such behavior can be used to inform users about news in the Arduino world.
To trigger this feature, one more line can be added to the
https://www.arduino.cc/latest.txtfile:(This does not break version check by current versions of the IDE, as they only read the first line.)
The
splashImageURL, if any, is stored in the application preferences and used at the next run (version check is performed after the splash screen disappears).As of now, no caching mechanism is in place: the remote image is loaded from remote at launch time. Loading is pretty quick, so users see the default image for a bit, and then it gets replaced by the new one.
I also tried to implement a click handler in order to open a URL when user clicks on the splash screen, but it seems that this is not possible with
java.awt.SplashScreenand we would need to reimplement the splash screen as aJPanel.Note: this is just a proof-of-concept. We might want to add signature verification. Do not merge for now :)